Acm A.m. Turing Award Lecture